Fix #44383: PHP DateTime not converted to xsd:datetime #12437
+147
−14
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.